;; putprop  atom    value   indicator
;; defprop  atom    value   indicator
;;-------------------------------------
;;(DEFPROP PICKUP ATTRIBUTE CATEGORY)

(DEFUN PUTPROPL (ATOM IV-LIST)
   (DO ((IV-PAIRS IV-LIST (CDDR IV-PAIRS)))
       ((NULL IV-PAIRS) ATOM)
       (PUTPROP ATOM (CADR IV-PAIRS) (CAR IV-PAIRS)) ) )

(DEFMACRO DEFPROPL (ATOMS . IV-LIST)
  (COND ((ATOM ATOMS) `(PUTPROPL ',ATOMS ',IV-LIST))
	(T `(MAPC (FUNCTION (LAMBDA (A) (PUTPROPL A ',IV-LIST)))
		  ',ATOMS )) ) )

(DEFUN ADD-ROLEORDERINDEX (PFC-CONCEPTLIST)
  (MAPC (FUNCTION (LAMBDA (PFC-CONCEPT)
	  (LET ((ROLEMARKLIST (APPEND (GET PFC-CONCEPT 'COREROLES)
				      (MAPCAR (FUNCTION CAR)
					      (GET PFC-CONCEPT 'ROLEXICON) ) )))
	       (PUTPROP PFC-CONCEPT
			ROLEMARKLIST
			'ROLEORDERINDEX ) ) ))
	PFC-CONCEPTLIST ) )

(DEFUN IDENTIFY-ROLEMARKS (PF-CONCEPTLIST)
  (MAPC #'(LAMBDA (PF-CONCEPT)
	  (LET ((ROLEMARKLIST (APPEND (GET PF-CONCEPT 'COREROLES)
				      (MAPCAR (FUNCTION CAR)
					      (GET PF-CONCEPT 'ROLEXICON) ) )))
	       (MAPC #'(LAMBDA (ROLEMARK)
			       (PUTPROP ROLEMARK 'ROLEMARK 'CATEGORY) )
		     ROLEMARKLIST ) ) )
	PF-CONCEPTLIST ) )


(DEFPROPL BELIEVE CATEGORY ATTRIBUTE COREROLES (AGENT PROPOBJECT)
	  ROLEXICON ((STRENGTH . TODEGREE) (REASON . BECAUSE))
	  ROLESORTS ((AGENT . PERSON) (PROPOBJECT . (↑ . AFFAIRSTATE))) )

(DEFPROPL WANT CATEGORY ATTRIBUTE VALUE-SORT AFFAIRSTATE COREROLES
	  (AGENT PROPOBJECT) ROLEXICON ((STRENGTH . TODEGREE) (REASON . BECAUSE))
	  ROLESORTS ((AGENT . PERSON) (PROPOBJECT ↑ . AFFAIRSTATE)) )

(DEFPROPL MEET CATEGORY ATTRIBUTE VALUE-SORT AFFAIRSTATE COREROLES
	  (MEETEE1 MEETEE2) ROLEXICON ((TIME . ATT) (PLACE . AT))
	  ROLESORTS ((MEETEE1 . PERSON) (MEETEE2 . PERSON)
	  (TIME . TIME) (PLACE . LOCATION)) )

(DEFPROPL PICKUP CATEGORY ATTRIBUTE COREROLES (AGENT OBJECT)
	  ROLEXICON ((ORIGIN . FROM) (PLACE . IN) (INSTRUMENT . WITH)
	  (TIME . ATT) (GOAL . INORDERTHAT) (CONSTRAINT . WITHCARETHAT))
	  ROLESORTS ((AGENT . PHYSOB) (OBJECT . PHYSOB) (ORIGIN . PHYSOB)
	  ;; the AGENT really should be something like "SELF-ACTUATED-PHYSOB".
	  (PLACE . LOCATION) (INSTRUMENT . PHYSOB) (TIME . TIME)
	  (GOAL . (↑ . AFFAIRSTATE)) (CONSTRAINT . (↑ . AFFAIRSTATE))) )

(DEFPROPL OWNS CATEGORY ATTRIBUTE COREROLES (POSSESSOR POSSESSION))

(DEFPROPL ASSIGNED-TO CATEGORY ATTRIBUTE COREROLES (OBJECT ASSIGNEE))

(DEFPROPL CONCEPT CATEGORY COUNT-SORT SUPERSORT ABSTRACT-ENTITY
	  COREROLES (CONCEPT) ROLEXICON ((OBJECT . OF))
	  ROLESORTS ((CONCEPT . (↑ . THING)) (OBJECT . THING)) )

(DEFPROPL ABSTRACT-ENTITY CATEGORY SORT SUPERSORT THING
	  COREROLES (MEMBER) ROLESORTS ((OBJECT . THING)) )

(DEFPROPL = CATEGORY ATTRIBUTE COREROLES (OBJECT OBJECT)
	    ROLESORTS ((OBJECT . THING)) )

(DEFPROPL ON CATEGORY ATTRIBUTE COREROLES (REL-OBJECT BASE-OBJECT)
	     ROLESORTS ((REL-OBJECT . PHYSOB) (BASE-OBJECT . PHYSOB)) )

(DEFPROPL ATT CATEGORY ATTRIBUTE COREROLES (BASE-OBJECT TIME-LOCATION))

(DEFPROPL PAST-TIME CATEGORY COUNT-SORT SUPERSORT TIME COREROLES (MEMBER)
	  ROLESORTS ((MEMBER . TIME)) )

(DEFPROPL TIME CATEGORY SORT SUPERSORT THING COREROLES (MEMBER)
	  ROLESORTS ((MEMBER . TIME)) )

(DEFPROPL MOVE CATEGORY ATTRIBUTE VALUE-SORT AFFAIRSTATE COREROLES (AGENT OBJECT)
	       ROLESORTS ((AGENT . PHYSOB) (OBJECT . PHYSOB)) )

(DEFPROPL DRIVE CATEGORY ATTRIBUTE VALUE-SORT AFFAIRSTATE COREROLES (AGENT OBJECT)
		ROLEXICON ((INSTRUMENT . WITH)) ROLESORTS ((AGENT . PERSON)
		(OBJECT . PHYSOB) (INSTRUMENT . PHYSOB)) )

(DEFPROPL (↑ ↓) CATEGORY SYNTACTIC-MARKER)

(DEFPROPL (U V W X Y Z) CATEGORY VARIABLE RANGE PHYSOB)

(DEFPROPL (T T1 T2 T3) CATEGORY VARIABLE RANGE TIME)

(DEFPROPL (N M J) CATEGORY VARIABLE RANGE NUMBER)

(DEFPROPL T CATEGORY VARIABLE RANGE TIME)

(DEFPROPL GREATER CATEGORY ATTRIBUTE COREROLES (DOMINATOR DOMINATEE)
	  ROLESORTS ((DOMINATOR . NUMBER) (DOMINATEE . NUMBER)) )

(DEFPROPL HAMMER CATEGORY COUNT-SORT SUPERSORT TOOL COREROLES (MEMBER)
	  ROLESORTS ((MEMBER . PHYSOB)) )

(DEFPROPL TOOL CATEGORY SORT SUPERSORT PHYSOB CO-SUBSORTS (HAMMER WRENCH)
	  COREROLES (MEMBER) )

(DEFPROPL HAMMER1 PROPERSORT HAMMER)

(DEFPROPL I CATEGORY INDEXICAL PROPERSORT PERSON)

(DEFPROPL YESTERDAY CATEGORY INDEXICAL PROPERSORT TIME)

(DEFPROPL JOHN PROPERSORT PERSON)

(DEFPROPL MIKE PROPERSORT PERSON)

(DEFPROPL JIM PROPERSORT PERSON)

(DEFPROPL PAT PROPERSORT PERSON)

(DEFPROPL SALLY PROPERSORT PERSON)

(DEFPROPL PERSON CATEGORY COUNT-SORT SUPERSORT ANIMAL COREROLES (MEMBER)
	  ROLESORTS ((MEMBER . PERSON)) )

(DEFPROPL ANIMAL CATEGORY SORT SUPERSORT LIVING-ORGANISM
	  CO-SUBSORTS (PERSON HORSE) COREROLES (MEMBER) )

(DEFPROPL LIVING-ORGANISM CATEGORY SORT SUPERSORT PHYSOB
	  CO-SUBSORTS (ANIMAL PLANT) COREROLES (MEMBER) )

(DEFPROPL DESK CATEGORY COUNT-SORT SUPERSORT FURNITURE-PIECE COREROLES (MEMBER))

(DEFPROPL FURNITURE-PIECE CATEGORY SORT SUPERSORT PHYSOB
	  CO-SUBSORTS (DESK CHAIR BED TABLE) COREROLES (MEMBER) )

(DEFPROPL NAIL CATEGORY COUNT-SORT SUPERSORT FASTENER COREROLES (MEMBER)
	  ROLESORTS ((MEMBER . PHYSOB)) )

(DEFPROPL FASTENER CATEGORY SORT SUPERSORT PHYSOB CO-SUBSORTS (NAIL SCREW STAPLE)
	  COREROLES (MEMBER) )

(DEFPROPL NUMBER CATEGORY COUNT-SORT SUPERSORT ABSTRACT-ENTITY COREROLES (MEMBER)
	  ROLESORTS ((MEMBER . NUMBER)) )

(DEFPROPL PHYSOB CATEGORY SORT SUPERSORT THING COREROLES (MEMBER)
	  	 ROLESORTS ((MEMBER . PHYSOB)) )

(DEFPROPL THING CATEGORY SORT COREROLES (MEMBER)
	  	 ROLESORTS ((MEMBER . THING)) )

(DEFPROPL LOCATION CATEGORY SORT SUPERSORT THING COREROLES (MEMBER)
	  	 ROLESORTS ((MEMBER . LOCATION)) )

(DEFPROPL !DESK CATEGORY FUNCTION VALUE-SORT DESK COREROLES (ASSOCIATE)
	  ROLESORTS ((ASSOCIATE . PERSON)) )

(DEFPROPL !OFFICE CATEGORY FUNCTION VALUE-SORT OFFICE COREROLES (ASSIGNEE)
	  ROLESORTS ((ASSIGNEE . PERSON)) )

(DEFPROPL !RIGHT-HAND CATEGORY FUNCTION VALUE-SORT HAND COREROLES (WHOLE-ANIMAL)
	  ROLESORTS ((WHOLE-ANIMAL . ANIMAL)) )

(DEFPROPL !WIFE CATEGORY FUNCTION VALUE-SORT PERSON COREROLES (SPOUSE)
	  ROLESORTS ((SPOUSE . PERSON)) )

(DEFPROPL !MOTHER CATEGORY FUNCTION VALUE-SORT PERSON COREROLES (OFFSPRING))

(DEFPROPL (¬ ∧ ∨ ⊃ ≡) CATEGORY CONNECTIVE VALUE-SORT AFFAIRSTATE)

(DEFPROPL (¬ ∧ ∨ ≡) COREROLES (JUNCT))

(DEFPROPL (∧ ∨ ≡) IDENTICAL-ROLES (JUNCT))

(DEFPROPL (∧ ∨) COREROLE-NUMBER VARIABLE)

(DEFPROPL JUNCT CATEGORY ROLEMARK)

(DEFPROPL (ALL EVERY ∀ SOME EXIST ∃ THE !1) CATEGORY DETERMINER)

(DEFPROPL (LAMBDA λ) CATEGORY LAMBDA-DETERMINER)

(SETQ PF-CONCEPTS '(PICKUP OWNS ASSIGNED-TO CONCEPTOF = ON ATT PAST-TIME
		    MOVE DRIVE GREATER HAMMER PERSON DESK NAIL NUMBER THING
		    !DESK !OFFICE !RIGHT-HAND BELIEVE WANT MEET !WIFE !MOTHER) )

(ADD-ROLEORDERINDEX PF-CONCEPTS)

(IDENTIFY-ROLEMARKS PF-CONCEPTS)